Search Results for ''

published presentations and documents on DocSlides.

Higher-order Program Verification as Refinement Type

by marina-yarberry

Inference. Hiroshi Unno (University of Tsukuba). ...